RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir Voevodsky

Source URL: hott-uf.gforge.inria.fr

• Mathematics
• Academia
• Mathematical logic
• Type theory
• Abstract algebra
• Logic in computer science
• Mathematical structures
• Formal methods
• Intuitionistic type theory
• Expression
• Lambda calculus
• Universal algebra

¨ ON MODULAR FUNCTORS AND THE IDEAL TEICHMULLER TOWER PO HU AND IGOR KRIZ 1. Introduction

Source URL: www.math.lsa.umich.edu

• Algebra
• Mathematics
• Abstract algebra
• Category theory
• Functor
• Sheaf
• Universal property
• Natural transformation
• Moduli space
• Pair of pants
• Groupoid
• Equivalence of categories

Resource-Restricted Indifferentiability? Gr´egory Demay, Peter Gaˇzi, Martin Hirt, and Ueli Maurer Department of Computer Science, ETH Zurich, Switzerland {gregory.demay,peter.gazi,hirt,maurer}@inf.ethz.ch Abstract. A

Source URL: pub.ist.ac.at

• Computability theory
• Mathematical logic
• Model theory
• Structure
• Universal algebra
• Reduction
• Symbol
• Sigma-algebra
• Decomposition of spectrum

J. Symbolic Computation, 235–265 The Magma Algebra System I: The User Language† WIEB BOSMA‡, JOHN CANNON§ AND CATHERINE PLAYOUST¶ Computational Algebra Group, School of Mathematics and Statistics, The

Source URL: www.math.ru.nl

• Algebra
• Mathematics
• Abstract algebra
• Universal algebra
• Mathematical structures
• Mathematical logic
• Algebraic structures
• Magma
• Sigma-algebra
• Structure
• F-algebra
• Model theory

Universal Probability Distribution for the Wave Function of a Quantum System Entangled with Its Environment Sheldon Goldstein∗, Joel L. Lebowitz†, Christian Mastrodonato‡, Roderich Tumulka§, and Nino Zangh`ı¶ Fe

Source URL: math.rutgers.edu

• Quantum mechanics
• Algebra
• Physics
• Quantum information science
• Quantum states
• Linear algebra
• Functional analysis
• Density matrix
• Wave function
• Schmidt decomposition
• Fidelity of quantum states
• Secondary measure

Intro First-order theories Higher-order theories

Source URL: www.lama.univ-savoie.fr

• Mathematics
• Logic
• Mathematical structures
• Mathematical logic
• Model theory
• Universal algebra
• Metalogic
• Lawvere theory
• Topology
• William Lawvere
• Structure

Universal Algebra for Termination of Higher-Order Rewriting Makoto Hamana Department of Computer Science, Gunma University, Japan

Source URL: www.cs.gunma-u.ac.jp

An Empirical Study on the Fault-Proneness of Clone Migration in Clone Genealogies Shuai Xie1 , Foutse Khomh2 , Ying Zou1 , Iman Keivanloo1 1 Department of Electrical and Computer Engineering, Queen’s University, Canad

Source URL: swat.polymtl.ca

• Software engineering
• Computing
• Universal algebra
• Clone
• Duplicate code
• Video game clone
• Cloning
• Gaming

C:/My Files/york semigroup/spring 2012/vickyindepysnoaside.dvi

Source URL: www-users.york.ac.uk

• Algebra
• Abstract algebra
• Mathematics
• Non-associative algebras
• Lie algebras
• Lie groups
• Closure operator
• Order theory
• Universal algebra
• Constructible universe
• Algebra over a field
• Vertex operator algebra

A GEOMETRIC ZERO-ONE LAW ROBERT H. GILMAN, YURI GUREVICH, AND ALEXEI MIASNIKOV Abstract. Each relational structure X has an associated Gaifman graph, which endows X with the properties of a graph. If x is an element of X

Source URL: www.math.stevens.edu

• Mathematics
• Algebra
• Model theory
• Abstract algebra
• Universal algebra
• Age
• Structure
• Quasigroup
• Constructible universe
• Ordinal number
• Isomorphism
• Presentation of a group